css: Remove outline border radius properties
authorTimm Bäder <mail@baedert.org>
Sat, 8 Feb 2020 19:39:08 +0000 (20:39 +0100)
committerTimm Bäder <mail@baedert.org>
Sat, 8 Feb 2020 19:43:16 +0000 (20:43 +0100)
commit01ba11fc719002b2753e0950f379824157329e17
treec37bb987afb8c6b1b9c8dcf9560aec8b2f87938f
parentf6b0e0e1c26d10d5717ede9cf8e1d3957849ad8b
css: Remove outline border radius properties

These are always set to the same value as the corresponding border
radius properties. They are also non-standard, so remove them and
replace them with the border radius properties everywhere.

Fixes #2414
16 files changed:
docs/reference/gtk/css-properties.xml
gtk/gtkcssanimatedstyle.c
gtk/gtkcssarrayvalue.c
gtk/gtkcssboxesimplprivate.h
gtk/gtkcssshorthandpropertyimpl.c
gtk/gtkcssstaticstyle.c
gtk/gtkcssstyle.c
gtk/gtkcssstyleprivate.h
gtk/gtkcssstylepropertyimpl.c
gtk/gtkcsstypesprivate.h
gtk/gtkroundedbox.c
gtk/gtkroundedboxprivate.h
gtk/theme/Adwaita/_common.scss
gtk/theme/HighContrast/_common.scss
testsuite/css/parser/outline-radius.css
testsuite/css/parser/outline-radius.ref.css